The phenomenon of consciousness has received through the centuries a profusion of interpretations, engaging researchers across many disciplines. Nevertheless, consensus still floats at large. The aim of the present work is therefore twofold. Through the review of a selected number of existing proposals, it will first be considered the extents of their reciprocal compatibility, tentatively shaping an integrated, theoretical profile of consciousness. A new theory, the Endogenous Feedback Network will consequently be introduced which, besides being able to accommodate the main (...) tenets of the reviewed theories, appears able to compensate for the explanatory gaps they leave behind. The EFN proposes consciousness as the phenomenon emerging from a distinct neural network broadcasting the changes associated to mental activations across the brain. It additionally argues for the need to include a 5th element to Ned Block’s taxonomy that is, non-cognitive consciousness. (shrink)

The field of affective neuroscience has emerged from the efforts of Jaak Panksepp in the 1990s and reinforced by the work of, among others, Joseph LeDoux in the 2000s. It is based on the ideas that affective processes are supported by brain structures that appeared earlier in the phylogenetic scale (as the periaqueductal gray area), they run in parallel with cognitive processes, and can influence behaviour independently of cognitive judgements. This kind of approach contrasts with the hegemonic concept of conscious (...) processing in cognitive neurosciences, which is based on the identification of brain circuits responsible for the processing of (cognitive) representations. Within cognitive neurosciences, the frontal lobes are assigned the role of coordinators in maintaining affective states and their emotional expressions under cognitive control. An intermediary view is the Damasio-Bechara Somatic Marker model, which puts cognition under partial somatic-affective control. We present here our efforts to make a synthesis of these views, by proposing the existence of two interacting brain circuits; the first one in charge of cognitive processes and the second mediating feelings about cognitive contents. The coupling of the two circuits promotes an endogenous feedback that supports conscious processes. Within this framework, we present the defence that detailed study of both affective and cognitive processes, their interactions, as well of their respective brain networks, is necessary for a science of consciousness. (shrink)

What distinguishes evils from ordinary wrongs? Is hatred a necessarily evil? Are some evils unforgivable? Are there evils we should tolerate? What can make evils hard to recognize? Are evils inevitable? How can we best respond to and live with evils? Claudia Card offers a secular theory of evil that responds to these questions and more. Evils, according to her theory, have two fundamental components. One component is reasonably foreseeable intolerable harm -- harm that makes a life indecent and (...) impossible or that makes a death indecent. The other component is culpable wrongdoing. Atrocities, such as genocides, slavery, war rape, torture, and severe child abuse, are Card's paradigms because in them these key elements are writ large. Atrocities deserve more attention than secular philosophers have so far paid them. They are distinguished from ordinary wrongs not by the psychological states of evildoers but by the seriousness of the harm that is done. Evildoers need not be sadistic:they may simply be negligent or unscrupulous in pursuing their goals. Card's theory represents a compromise between classic utilitarian and stoic alternatives (including Kant's theory of radical evil). Utilitarians tend to reduce evils to their harms; Stoics tend to reduce evils to the wickedness of perpetrators: Card accepts neither reduction. She also responds to Nietzsche's challenges about the worth of the concept of evil, and she uses her theory to argue that evils are more important than merely unjust inequalities. She applies the theory in explorations of war rape and violence against intimates. She also takes up what Primo Levi called "the gray zone", where victims become complicit in perpetrating on others evils that threaten to engulf themselves. While most past accounts of evil have focused on perpetrators, Card begins instead from the position of the victims, but then considers more generally how to respond to -- and live with -- evils, as victims, as perpetrators, and as those who have become both. (shrink)

According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...) counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)

Commonsense ontology often conflicts with the ontology of our best scientific and philosophical theories. However, commonsense ontology, and commonsense belief systems in general, seems to be remarkably efficient and cognitively fundamental. In cases of contrast, it is better to find a way to reconcile commonsense and ”theoretical” ontologies. Given that commonsense ontologies are typically expressed within natural language, a classical procedure of reconciliation is semantical. The strategy is that of individuating the ”ontologically problematic” expressions of natural language and paraphrasing the (...) sentences in which they appear in a (formal) language whose commitments are compatible with those of our best theories. We believe that this strategy of reconciliation, though quite standard, especially in the philosophical literature, is problematic: for a start, it forces us to conclude that the ”real content” of our commonsense expressions and beliefs is different from what it appears. Commonsense ontology becomes just an illusion. We will thus propose an alternative approach: according to our view, a commonsense ontology is reconciled with a theoretical ontology in case it is shown that the explanation of why we believe in the existence of a problematic entity is compatible with our best theories. We will call this kind of reconciliation ”epistemic”. The advantage of an epistemic reconciliation is that commonsense ontology is treated in its own right and could be taken prima facie. Another advantage of the view is that epistemic reconciliation can be analysed through the notion of explaining away: a commonsense ontology is epistemically reconciled with a theoretical ontology if and only if the problematic entities of the commonsense ontology are explained away by ”respectable” entities of the theoretical ontology. In the final part of the paper, we sketch a formal analysis of explaining away. (shrink)

In this short paper we consider Linnebo's thin/thick dichotomy: first, we show that it does not overlap with the very common one between abstract/concrete objects; second, on the basis of some difficulties with the distinction, we propose, as a possible way out, to move from thin/thick objects to thin/thick concepts.

Are identity criteria grounding principles? A prima facie answer to this question is positive. Specifically, two-level identity criteria can be taken as principles related to issues of identity among objects of a given kind compared with objects of a more basic kind. Moreover, they are grounding metaphysical principles of some objects with regard to others. In the first part of the paper we criticise this prima facie natural reading of identity criteria. This result does not mean that identity criteria could (...) not be taken as grounding principles. In the second part, we propose some basic steps towards a conceptual reading of grounding. Such a way of understanding it goes along with an epistemic reading of identity criteria. (shrink)

We reconsider the pragmatic interpretation of intuitionistic logic [21] regarded as a logic of assertions and their justi cations and its relations with classical logic. We recall an extension of this approach to a logic dealing with assertions and obligations, related by a notion of causal implication [14, 45]. We focus on the extension to co-intuitionistic logic, seen as a logic of hypotheses [8, 9, 13] and on polarized bi-intuitionistic logic as a logic of assertions and conjectures: looking at the (...) S4 modal translation, we give a de nition of a system AHL of bi-intuitionistic logic that correctly represents the duality between intuitionistic and co-intuitionistic logic, correcting a mistake in previous work [7, 10]. A computational interpretation of cointuitionism as a distributed calculus of coroutines is then used to give an operational interpretation of subtraction.Work on linear co-intuitionism is then recalled, a linear calculus of co-intuitionistic coroutines is de ned and a probabilistic interpretation of linear co-intuitionism is given as in [9]. Also we remark that by extending the language of intuitionistic logic we can express the notion of expectation, an assertion that in all situations the truth of p is possible and that in a logic of expectations the law of double negation holds. Similarly, extending co-intuitionistic logic, we can express the notion of conjecture that p, de ned as a hypothesis that in some situation the truth of p is epistemically necessary. (shrink)

In this paper we disambiguate the design stance as proposed by Daniel C. Dennett, focusing on its application to technical artefacts. Analysing Dennett’s work and developing his approach towards interpreting entities, we show that there are two ways of spelling out the design stance, one that presuppose also adopting Dennett’s intentional stance for describing a designing agent, and a second that does not. We argue against taking one of these ways as giving the correct formulation of the design stance in (...) Dennett’s approach, but propose to replace Dennett’s original design stance by two design stances: an intentional designer stance that incorporates the intentional stance, and a teleological design stance that does not. Our arguments focus on descriptions of technical artefacts: drawing on research in engineering, cognitive psychology and archaeology we show that both design stances are used for describing technical artefacts. A first consequence of this disambiguation is that a design stance, in terms of interpretative assumptions and in terms of the pragmatic considerations for adopting it, stops to be a stance that comes hierarchically between the physical stance and the intentional stance. A second consequence is that a new distinction can be made between types of entities in Dennett’s approach. We call entities to which the intentional designer stance is applied tools and entities to which the teleological design stance is applied instruments, leading to a differentiated understanding of, in particular, technical artefacts. (shrink)

Following the speech act theory, we take hypotheses and assertions as linguistic acts with different illocutionary forces. We assume that a hypothesis is justified if there is at least a scintilla of evidence for the truth of its propositional content, while an assertion is justified when there is conclusive evidence that its propositional content is true. Here we extend the logical treatment for assertions given by Dalla Pozza and Garola by outlining a pragmatic logic for assertions and hypotheses. On the (...) basis of this extension we analyse the standard logical opposition relations for assertions and hypotheses. We formulate a pragmatic square of oppositions for assertions and a hexagon of oppositions for hypotheses. Finally, we give a mixed hexagon of oppositions to point out the opposition relations for assertions and hypotheses. (shrink)

In this paper we consider the emerging position in metaphysics that artifact functions characterize real kinds of artifacts. We analyze how it can circumvent an objection by David Wiggins (Sameness and substance renewed, 2001, 87) and then argue that this position, in comparison to expert judgments, amounts to an interesting fine-grained metaphysics: taking artifact functions as (part of the) essences of artifacts leads to distinctions between principles of activity of artifacts that experts in technology have not yet made. We show, (...) moreover, that our argument holds not only in the artifactual realm but also in biology: taking biological functions as (part of the) essences of organs leads to distinctions between principles of activity of organs that biological experts have not yet made. We run our argument on the basis of analyses of artifact and biological functions as developed in philosophy of technology and of biology, thus importing results obtained outside of metaphysics into the debate on ontological realism. In return, our argument shows that a position in metaphysics provides experts reason for trying to detect differences between principles of activities of artifacts and organs that have not been detected so far. (shrink)

According to strong composition as identity, the logical principles of one–one and plural identity can and should be extended to the relation between a whole and its parts. Otherwise, composition would not be legitimately regarded as an identity relation. In particular, several defenders of strong CAI have attempted to extend Leibniz’s Law to composition. However, much less attention has been paid to another, not less important feature of standard identity: a standard identity statement is true iff its terms are coreferential. (...) We contend that, if coreferentiality is dropped, indiscernibility is no help in making composition a genuine identity relation. To this aim, we analyse as a case study Cotnoir’s theory of general identity, in which indiscernibility is obtained thanks to a revisionary semantics and true identity statements are allowed to connect non-coreferential terms. We extend Cotnoir’s strategy for indiscernibility to the relation of comaternity, and we show that, neither in the case of composition nor in that of comaternity, indiscernibility contibutes to show that they are genuine identity relations. Finally, we compare Cotnoir’s approach with other versions of strong CAI endorsed by Wallace, Bøhn, and Hovda, and canvass the extent to which they violate coreferentiality. The comparative analysis shows that, in order to preserve coreferentiality, strong CAI is forced to adopt a non-standard semantic treatment of the singular/plural distinction. (shrink)

What kind of reference (if any) do terms such as “pencil,” “chair,” “television,” and so on have? On the matter, a de-bate between directly referential theorists and descriptiv-ist theorists is open. It is largely acknowledged that natural kind terms (such as “water,” “gold,” “tiger,” etc.) are directly referential expressions (cf. Putnam,1975). That is, they are expressions whose reference is determined by their refer-ents' nature, independent of whether we know or will ever know what this nature is. However, it does not (...) seem like-wise convincing that all artifactual kind terms (like “pen-cil,” “chair,” “television,” etc.) semantically behave the same. Terms for artifactual kinds seem more likely to be subjected to a descriptivist view, that is, definable not by links to their extensions' nature but in terms of conjunctions or clusters of properties. In his celebrated “The Meaning of ‘Meaning’” (1975), Hilary Putnam originated the mentioned debate by arguing that artifactual kind terms also refer directly. Thus, the discussion ultimately revolves around establishing whether artifactual and natural kind terms are both directly referential expressions. The authors engaged in this debate have tried to argue in favor of (or against) Putnam's proposal by highlighting the similarities (or differences) between nat-ural vis-à-vis artifactual kind words and their respective ref-erents. This paper aims to provide a thorough and reasoned overview of the debate at stake, pointing out trends and problems associated with each proposed account. (shrink)

In this paper we consider the emerging position in metaphysics that artifact functions characterize real kinds of artifacts. We analyze how it can circumvent an objection by David Wiggins (Sameness and substance renewed, 2001, 87) and then argue that this position, in comparison to expert judgments, amounts to an interesting fine-grained metaphysics: taking artifact functions as (part of the) essences of artifacts leads to distinctions between principles of activity of artifacts that experts in technology have not yet made. We show, (...) moreover, that our argument holds not only in the artifactual realm but also in biology: taking biological functions as (part of the) essences of organs leads to distinctions between principles of activity of organs that biological experts have not yet made. We run our argument on the basis of analyses of artifact and biological functions as developed in philosophy of technology and of biology, thus importing results obtained outside of metaphysics into the debate on ontological realism. In return, our argument shows that a position in metaphysics provides experts reason for trying to detect differences between principles of activities of artifacts and organs that have not been detected so far. (shrink)

Sometimes mereologists have problems with counting. We often don't want to count the parts of maximally connected objects as full‐fledged objects themselves, and we don't want to count discontinuous objects as parts of further, full‐fledged objects. But whatever one takes “full‐fledged object” to mean, the axioms and theorems of classical, extensional mereology commit us to the existence both of parts and of wholes – all on a par, included in the domain of quantification – and this makes mereology look counterintuitive (...) to various philosophers.In recent years, a proposal has been advanced to solve the tension between mereology and familiar ways of counting objects, under the label of Minimalist View. The Minimalist View may be summarized in the slogan: “Count x as an object iff it does not overlap with any y you have already counted as an object”. The motto seems prima facie very promising but, we shall argue, when one looks at it more closely, it is not. On the contrary, the Minimalist View involves an ambiguity that can be solved in quite different directions. We argue that one resolution of the ambiguity makes it incompatible with mereology. This way, the Minimalist View can lend no support to mereology at all.We suggest that the Minimalist View can become compatible with mereology once its ambiguity is solved by interpreting it in what we call an epistemic or conceptual fashion: whereas mereology has full metaphysical import, the Minimalist View may account for our ways of selecting “conceptually salient” entities. But even once it is so disambiguated, it is doubtful that the Minimalist View can help to make mereology more palatable, for it cannot make it any more compatible with commonsensical ways of counting objects. (shrink)

The pragmatic logic of assertions shows a connection between ignorance and decidability. In it, we can express pragmatic factual ignorance and first-order ignorance as well as some of their variants. We also show how some pragmatic versions of second-order ignorance and of Rumsfeld-ignorance may be formulated. A specific variant of second-order ignorance is particularly relevant. This indicates a strong pragmatic version of ignorance of ignorance, irreducible to any previous form of ignorance, which defines limits to what can justifiably be asserted (...) about higher-order ignorance. Finally, we relate the justified assertion of second-order ignorance with scientific assertions. (shrink)

According to N. Goodman, the Carnapian notion of similarity is useless in science and without interest for philosophy. In our paper we suggest that, given the current role that the notion of similarity has in managing biomedical big data, this drastic position should be revised, and similarity should be provided a scientifically useful philosophical interpretation. With the advent of the new sequencing technologies, imaging technologies and with the improvements of health records, the number of genomics, post-genomics and clinical data has (...) exponentially increased. The deluge of data has urged, among others, to devise a new way of stratifying patients. A solution has been found and it is based exactly on the notion of similarity. By discussing two examples focusing on similarity among breast cancer patients, in the paper we illustrate such a use, and analyze it from a philosophical standpoint by resorting to A. Tversky’s features matching approach. We believe that the latter can foster some better understanding of the meaning and current use of similarity in the context of biomedical big data, and that, therefore, be the focus of further reflections in the philosophy of science, in particular in the philosophy of biomedicine. (shrink)

We cast doubts on the suggestion, recently made by Graham Priest, that glut theorists may express disagreement with the assertion of A by denying A. We show that, if denial is to serve as a means to express disagreement, it must be exclusive, in the sense of being correct only if what is denied is false only. Hence, it can’t be expressed in the glut theorist’s language, essentially for the same reasons why Boolean negation can’t be expressed in such a (...) language either. We then turn to an alternative proposal, recently defended by Beall (in Analysis 73(3):438–445, 2013; Rev Symb Log, 2014), for expressing truth and falsity only, and hence disagreement. According to this, the exclusive semantic status of A, that A is either true or false only, can be conveyed by adding to one’s theory a shrieking rule of the form A & ~A |- \bot, where \bot entails triviality. We argue, however, that the proposal doesn’t work either. The upshot is that glut theorists face a dilemma: they can either express denial, or disagreement, but not both. Along the way, we offer a bilateral logic of exclusive denial for glut theorists—an extension of the logic commonly called LP. (shrink)

The opportunities to become a good person are not the same for everyone. Modern European ethical theory, especially Kantian ethics, assumes the same virtues are accessible to all who are capable of rational choice. Character development, however, is affected by circumstances, such as those of wealth and socially constructed categories of gender, race, and sexual orientation, which introduce factors beyond the control of individuals. Implications of these influences for morality have, since the work of Williams and Nagel in the seventies, (...) raised questions in philosophy about the concept of moral luck. In The Unnatural Lottery, Claudia Card examines how luck enters into moral character and considers how some of those who are oppressed can develop responsibility. Luck is often best appreciated by those who have known relatively bad luck and have been unable to escape steady comparison of their lot with those of others. The author takes as her paradigms the luck of middle and lower classes of women who face violence and exploitation, of lesbians who face continuing pressure to hide or self-destruct, of culturally Christian whites who have ethnic privilege, and of adult survivors of child abuse. How have such people been affected by luck in who they are and can become, the good lives available to them, the evils they may be liable to embody? Other philosophers have explored the luck of those who begin from privileged positions and then suffer reversals of fortune. Claudia Card focuses on the more common cases of those who begin from socially disadvantaged positions, and she considers some who find their good luck troubling when its source is the unnatural lottery of social injustice. (shrink)

Can an identity be the proper subject of an explanation? A popular stance, albeit not one often argued for, gives a negative answer to this question. Building from a contentious passage from Jaegwon Kim in this direction, we reconstruct an argument to the conclusion that identities, to the extent in which they are necessary, cannot be explained. The notion of contrastive explanation, characterized as difference-seeking, will be crucial for this argument; however, we will eventually find the argument to be unsatisfactory. (...) On the contrary, the discussion provides enough resource to sketch a very simple framework for a non-causal contrastive explanation of identities. Many instances will be provided, with different varieties of explanans, ultimately suggesting that certain entailment or biconditional principles involving identities (first and foremost, so-called two-level identity criteria) may indeed be taken to have an inherent explanatory value. (shrink)

This paper investigates the question of how we manage to single out the natural number structure as the intended interpretation of our arithmetical language. Horsten submits that the reference of our arithmetical vocabulary is determined by our knowledge of some principles of arithmetic on the one hand, and by our computational abilities on the other. We argue against such a view and we submit an alternative answer. We single out the structure of natural numbers through our intuition of the absolute (...) notion of finiteness. (shrink)

The goal of the paper is to analyse some specific features of a very central concept for top-level ontologies for information systems: i.e. the concept of artefact. Specifically, we analyse the relation to be a copy of that is strongly linked to the notion of artefact and—as we will demonstrate—could be useful to distinguish artefacts from objects of other kinds. Firstly, we outline some intuitive and commonsensical reasons for the need of a clarification of the notion of artefact in ontologies (...) for information systems, and we analyse some characterisations of the notion given by two top-level ontologies (Cyc and Wordnet). Secondly, we introduce and critically analyse Tzouvaras’ notion of copy. Thirdly, we try to complete an analysis of copy by distinguishing three kinds of copies: replicas (Tzouvaras’ notion of copy), rigid copies, and functional copies. With the help of these three notions we outline a first and preliminary distinction between artefacts, objects of art and natural objects. (shrink)

This is an excerpt from the contentIn the introduction to part I of the symposium we stated that a rational agent could be thought of as an agent who has good reasons for its actions. In formal analyses of economic, medical, political, military and forensic decisions rationality, that is the “goodness” of those reasons, is inextricably intertwined with probability. Typically, those analyses concern decisions in a particular class of uncertain situations, namely “risky” situations, where all the relevant available alternative actions (...) are known, each or most actions are non-deterministic , and the probability of each outcome is known to some degree of approximation. As yet, formal analyses have only begun to scratch the surface of the subtleties implicated in uncertain, but not risky, situations, where the available courses of actions, and/or their possible outcomes, and/or the probabilities of those outcomes, are not all. (shrink)

The general question (G) How do we categorize artifacts? can be subject to three different readings: an ontological, an epistemic and a semantic one. According to the ontological reading, asking (G) is equivalent to asking in virtue of what properties, if any, a certain artifact is an instance of some artifact kind: (O) What is it for an artifact a to belong to kind K? According to the epistemic reading, when we ask (G) we are investigating what properties of the (...) object we exploit in order to decide whether a certain artifact belongs to a certain kind. (G) thus becomes: (E) How can we know that artifact a belongs to kind K? Finally, (G) can also be read as a question concerning the semantics of artifact kind terms. The semantic reading of (G) is: (S) What kind of reference do artifact kind terms have, if any? In this editorial we expand on the different answers to (O), (E) and (S) that are given in the selected literature on the topic. The result should give us an overall picture of the possible answers to (G). (shrink)

In Mathematics is megethology Lewis reconstructs set theory combining mereology with plural quantification. He introduces megethology, a powerful framework in which one can formulate strong assumptions about the size of the universe of individuals. Within this framework, Lewis develops a structuralist class theory, in which the role of classes is played by individuals. Thus, if mereology and plural quantification are ontologically innocent, as Lewis maintains, he achieves an ontological reduction of classes to individuals. Lewis’work is very attractive. However, the alleged (...) innocence of mereology and plural quantification is highly controversial and has been criticized by several authors. In the present paper we propose a new approach to megethology based on the theory of plural reference developed in To be is to be the object of a possible act of choice. Our approach shows how megethology can be grounded on plural reference without the help of mereology. (shrink)

Clinical Ethics Consultation (CEC) has grown significantly in the last decade, and efforts are being made to professionalize the practice. The American Society for Bioethics and Humanities (ASBH) has been instrumental in this process, having published the _Code of Ethics and Professional Responsibilities for Healthcare Ethics Consultants_ and founded and endorsed the creation of the _Healthcare Ethics Consultant Certified (HCEC) Certification Commission._ The ASBH also published “core competencies” for healthcare ethics consultants and has delineated a clear identity and role of (...) such consultants distinct from that other healthcare professionals. In addition, more enter the field armed with advanced degrees (MA and PhD) or certification in clinical ethics consultation. While some have questioned the trend toward professionalization, the momentum is clearly in its favor. This paper explores three questions: Does the professionalization of healthcare ethics consultation expose those engaged in the field to the types of liability claims faced by professionals in other fields? What specific liabilities could affect a healthcare ethics consultant? And finally, what should healthcare ethics consultants do to protect themselves against liability claims? We conclude that while the risk of liability remains low, those engaged in the field should accept that risk just as part of their status as professionals and, like those in allied professions, seek appropriate protection in the form of liability insurance. (shrink)

This article discusses whether it is rational and valuable to have hope in the face of the climate crisis. The aim is to explore a distinctive Kantian perspective characterized by three main elements. First, hope is not seen primarily as a means of sustaining action, but action is viewed as a condition for rational hope. Second, the value of certain ‘fundamental’ hopes is not merely instrumental but derives from their constitutive role in our practical identity. Here, I focus on Kantian (...) hope in the compatibility of our fundamental ends, happiness and morality. Third, the rationality of such a hope presupposes trust – in particular, trust that our conceptions of morality and the good life are sufficiently flexible to adapt to drastically new circumstances. (shrink)

The aim of this note is to discuss the general form and role of identity criteria. We have taken two readings into consideration which express two different functions of identity criteria. The first expresses the epistemic function whilst the second deals with the ontological function. We argue that there are several problems related to the specification of both these functions. As a consequence, we conclude that identity criteria are not necessary to provide ontological legitimacy.

Aim of the paper is to revise Boolos’ reinterpretation of second-order monadic logic in terms of plural quantification ([4], [5]) and expand it to full second order logic. Introducing the idealization of plural acts of choice, performed by a suitable team of agents, we will develop a notion of plural reference . Plural quantification will be then explained in terms of plural reference. As an application, we will sketch a structuralist reconstruction of second-order arithmetic based on the axiom of infinite (...) à la Dedekind, as the unique non-logical axiom. We will also sketch a virtual interpretation of the classical continuum involving no other infinite than a countable plurality of individuals. (shrink)

Classical mereology seems unable to characterise the identity conditions of word types. For example, the same letter types ordered differently result in different word types; but mereological fusions of the same letters are identical, regardless of the order of the letters. We show, however, that by combining classical mereology with plural logic one can give a definition of word types that satisfies the identity criteria of word types. This means that it is not necessary to abandon classical mereology in order (...) to give an analysis of the mereological structure of word types. (shrink)

Conflicts between our best philosophical theories (BPTs) and our common beliefs are widespread. For example, if eliminativism is our BPT, then our BPT conflicts with common beliefs about the existence of middle-sized composite artifacts. “Compatibilism” is the name usually given to a theoretical attitude, according to which, in the case of a conflict between BPT and a common belief P, we should try to find a reconciliation. The two major variants of compatibilism are “semantic compatibilism” (SC) and “cognitive compatibilism” (CC). (...) According to SC, to be reconciled with BPT is the “real” version of the content of our ordinary assertions; according to CC, to be reconciled with BPT is the mental state we are “really” in while thinking P. In this paper, we present a new kind of compatibilism, epistemic compatibilism (EC). According to EC, to be reconciled with BPT is the explanation of why we believe that P. After presenting EC, we will argue that it fares better than SC and CC for at least two related reasons: EC does not rely on any form of what we call semantic or cognitive “recarving”; thus, EC avoids some sceptical problems that aect the other two versions of compatibilism. (shrink)

The present paper is devoted to present two pragmatic logics and their corresponding intended interpretations according to which an illocutionary act of hypothesis-making is justified by a scintilla of evidence. The paper first introduces a general pragmatic frame for assertions, expanded to hypotheses, ${\mathsf{AH}}$ and a hypothetical pragmatic logic for evidence ${\mathsf{HLP}}$. Both ${\mathsf{AH}}$ and ${\mathsf{HLP}}$ are extensions of the Logic for Pragmatics, $\mathcal{L}^P$. We compare ${\mathsf{AH}}$ and $\mathsf{HLP}$. Then, we underline the expressive and inferential richness of both systems in (...) dealing with hypothetical judgements, especially when based on different, sometimes conflicting, evidence. (shrink)

What distinguishes evils from ordinary wrongs? Are some evils unforgivable? How should we respond to evils? Card offers a secular theory of evil--representing a compromise between classic utilitarian and stoic approaches--that responds to these and other questions.

In this paper, we extend the expressive power of the logics K3, LP and FDE with anormality operator, which is able to express whether a for-mula is assigned a classical truth value or not. We then establish classical recapture theorems for the resulting logics. Finally, we compare the approach via normality operator with the classical collapse approach devisedby Jc Beall.

A minimal constraint on normative reasons seems to be that if some fact is a reason for an agent to φ (act, believe, or feel), the agent could come to know that fact. This constraint is threatened by a well-known type of counterexamples. Self-effacing reasons are facts that intuitively constitute reasons for an agent to φ, but that if they were to become known, they would cease to be reasons for that agent. The challenge posed by self-effacing reasons bears important (...) structural similarities with a range of epistemic paradoxes, most notably the Knowability Paradox. In this article, we investigate the similarities and differences between the two arguments. Moreover, we assess whether some of the approaches to the Knowability Paradox could help solve the challenge posed by self-effacing reasons. We argue that at least two popular approaches to the paradox can be turned into promising strategies for addressing the self-effacing reasons problem. (shrink)

Some forms of analytic reconstructivism take natural language (and common sense at large) to be ontologically opaque: ordinary sentences must be suitably rewritten or paraphrased before questions of ontological commitment may be raised. Other forms of reconstructivism take the commitment of ordinary language at face value, but regard it as metaphysically misleading: common-sense objects exist, but they are not what we normally think they are. This paper is an attempt to clarify and critically assess some common limits of these two (...) reconstructivist strategies. (shrink)

This article considers the question ‘What makes hope rational?’ We take Adrienne Martin’s recent incorporation analysis of hope as representative of a tradition that views the rationality of hope as a matter of instrumental reasons. Against this tradition, we argue that an important subset of hope, ‘fundamental hope’, is not governed by instrumental rationality. Rather, people have reason to endorse or reject such hope in virtue of the contribution of the relevant attitudes to the integrity of their practical identity, which (...) makes the relevant hope not instrumentally but intrinsically valuable. This argument also allows for a new analysis of the reasons people have to abandon hope and for a better understanding of non-fundamental, ‘prosaic’ hopes. (shrink)

This essay argues that current advocacy of lesbian and gay rights to legal marriage and parenthood insufficiently criticizes both marriage and motherhood as they are currently practiced and structured by Northern legal institutions. Instead we would do better not to let the State define our intimate unions and parenting would be improved if the power presently concentrated in the hands of one or two guardians were diluted and distributed through an appropriately concerned community.

I argue for a novel answer to the question “What is hope?”. On my view, rather than aiming for a compound account, i.e. analysing hope in terms of desire and belief, we should understand hope as an irreducible concept. After criticizing influential compound accounts of hope, I discuss Segal and Textor's alternative of describing hope as a primitive mental state. While Segal and Textor argue that available developments of the standard definition do not offer sufficient conditions for hope, I question (...) the deep‐seated idea that desire and belief are even necessary conditions for hope. My suggestion is that we should take seriously the fact that we hope in a great variety of ways and should question the search for elements that are common to all cases. A promising alternative follows the Wittgensteinian idea that cases of hope are related in terms of family resemblance, i.e. are multiply realizable on the ontological level while falling under the non‐definable concept of hope. (shrink)